<%@ page contentType="text/html;charset=UTF-8" language="java" %>
<html>
<head>
    <title>欢迎页面</title>
    <style>
        body { font-family: sans-serif; text-align: center; margin-top: 50px; }
    </style>
</head>
<body>
    <%--
        使用EL表达式获取数据。
        - ${sessionScope.loggedInUser.username} 的含义是：
        - sessionScope: 指定从Session作用域查找。
        - loggedInUser: 我们在Servlet中存入Session的User对象的名字。
        - .username: EL会自动调用User对象的getUsername()方法来获取属性值。
        这比写 <%= ((com.example.model.User)session.getAttribute("loggedInUser")).getUsername() %> 简洁了无数倍！
    --%>
    <h2>欢迎，${sessionScope.loggedInUser.username}！您已成功登录！</h2>
</body>
</html>